Computer-automated design - PDFSEARCH.IO - Document Search Engine

Computer-automated design
Results: 82

#	Item
51	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics
52	Automated design-rich publishing Publishing software for today—and tomorrow  1 Add to Reading List Source URL: www.typefi.com Language: English - Date: 2014-07-27 03:15:41 Desktop publishing software Markup languages Computer file formats Open formats Adobe InDesign EPUB Single source publishing XML DocBook Computing Software Technical communication
53	Automated design-rich publishing Publishing software for today—and tomorrow  1 Add to Reading List Source URL: www.typefi.com Language: English - Date: 2014-07-27 03:15:39 Desktop publishing software Publishing Markup languages Computer file formats Open formats Adobe InDesign EPUB Single source publishing XML Computing Software Technical communication
54	Contest Automated Manufacturing Technology Skill Performance The contest includes a team skill performance for three students and evaluates teams for employment in integrated manufacturing technology fields of computer-a Add to Reading List Source URL: www.azskillsusa.org Language: English - Date: 2014-12-29 14:04:25 Dimension Numerical control Computer-aided manufacturing Computer-aided design Machinist Caliper SkillsUSA OneCNC CNC Software/Mastercam Technology Information technology management Product lifecycle management
55	Determining Relative Importance and Eﬀective Settings for Genetic Algorithm Control Parameters K. L. Mills [removed] Information Technology Laboratory, National Institute of Standards and Technology, Add to Reading List Source URL: www.nist.gov Language: English - Date: 2014-09-16 16:19:08 Genetic algorithms Numerical analysis Mathematical optimization Evolutionary algorithms Parameter Evolutionary computation Mutation Crossover Computer-automated design Cybernetics Mathematics Applied mathematics
56	Genetic Optimization Using Derivatives: The rgenoud Package for R Walter R. Mebane, Jr. Jasjeet S. Sekhon Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 16:17:51 Mathematical optimization Genetic algorithms Evolutionary algorithms Mutation Quasi-Newton method BFGS method Crossover Computer-automated design Cybernetics Numerical analysis Applied mathematics
57	Three aspect of AChecker make it unique as a Web Accessibility evaluation tool. First evaluators can interact with an accessibility review, able to make decisions on potential barriers that automated accessibility check Add to Reading List Source URL: www.atutor.ca Language: English - Date: 2014-02-13 16:21:52 Accessibility Web Content Accessibility Guidelines ATutor World Wide Web X Window System Computer accessibility CSE HTML Validator Web accessibility Software Design
58	Automated Design of Digital Microfluidic Lab-on-Chip: Connecting Biochemistry to Information Technology and Electronic Design Add to Reading List Source URL: www.iscas2012.org Language: English - Date: 2012-06-28 12:08:12 International nongovernmental organizations Electrical engineers IEEE Circuits and Systems Society IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Design & Test of Computers IEEE Computer Society Behzad Razavi IEEE Transactions on Multimedia Institute of Electrical and Electronics Engineers Electronic engineering Engineering
59	) DoD FORMS MANAGEMENT PROGRAM AUTOMATED INFORMATION SYSTEM (AIS) FORMS DESIGN SYSTEM MODERNIZATION PLAN Add to Reading List Source URL: www.dod.gov Language: English - Date: 2012-11-27 09:01:17 United States Department of Defense Computer-aided engineering Computer-integrated manufacturing Engineering Product lifecycle management Department of Defense Architecture Framework Department of Defense Strategy for Operating in Cyberspace Technology Information technology management Business
60	Automated Garment Development from Body Scan Data I00-S15 Carol Carrere, leader; Cynthia Istook; Trevor Little; Add to Reading List Source URL: www.ntcresearch.org Language: English - Date: 2011-11-09 04:37:47 Full body scanner Privacy Pattern Computer-aided design Clothing Child welfare Crime prevention

UPDATE